home *** CD-ROM | disk | FTP | other *** search
/ CD ROM Paradise Collection 4 / CD ROM Paradise Collection 4 1995 Nov.iso / science / laame101.zip / ES22.TXT < prev    next >
Text File  |  1993-10-09  |  2KB  |  97 lines
  1. ------------------------------------------------------------------------------
  2. *                                                                            *
  3. *  Laboratorio di Analisi Algoritmi di Minimizzazione Espressioni Booleane   *
  4. *                                                                            *
  5. ------------------------------------------------------------------------------
  6.  
  7. Giorno: 9-10-1993
  8.  
  9. Funzione: Σ8  (10,11,12,13,14,15,16,17,18,19,20,40,41,42,43,44,45,46,47,48,49,
  10.                50,70,71,72,73,74,75,76,77,78,79,80,100,101,102,103,104,105,
  11.                106,107,108,109,110,130,131,132,133,134,135,136,137,138,139,
  12.                140,170,171,172,173,174,175,176,177,178,179,180,200,201,202,
  13.                203,204,205,206,207,208,209,210,230,231,232,233,234,235,236,
  14.                237,238,239,240)
  15.  
  16. Numero di variabili: 8
  17. Numero di mintermini: 88
  18. Stato dell'elaborazione: TERMINATA
  19. Generazione dell'input: DETERMINISTICA
  20. Tempo totale di elaborazione: 0:0:1
  21.  
  22. --------------------------
  23. *         FASE A         *
  24. --------------------------
  25. Tempo di elaborazione: 0:0:0
  26. Numero implicanti primi: 54
  27.  
  28. Implicanti primi determinati: 
  29.     ABCdEGH
  30.     ACdEFGH
  31.     bCdEFGH
  32.     aBCDfGH
  33.     aBcdEGH
  34.     acdEFGH
  35.     abCdEFG
  36.     abCdEFH
  37.     abdEFGH
  38.     ABCdEF
  39.     ABdEFG
  40.     ABdEFH
  41.     BcdEFG
  42.     BcdEFH
  43.     aBCDEg
  44.     aBCDFg
  45.     aBCDEf
  46.     aCDeGH
  47.     AbCDfg
  48.     AbDfgH
  49.     AbDEfg
  50.     AbcDfG
  51.     AbcDfH
  52.     AbcDEf
  53.     aBcdEF
  54.     bcDfgH
  55.     bcDEfg
  56.     abcDfg
  57.     ABDef
  58.     ADefG
  59.     ADefH
  60.     DefGH
  61.     ACDef
  62.     ADegH
  63.     ABDeg
  64.     ACDeg
  65.     AcDeH
  66.     ABcDe
  67.     AcDeF
  68.     AcDeG
  69.     aCDeF
  70.     cDegH
  71.     BcDeg
  72.     cDefG
  73.     BcDef
  74.     cDefH
  75.     acDeg
  76.     acDef
  77.     DeFg
  78.     bCDe
  79.     bDeF
  80.     bDeG
  81.     bDeH
  82.     abDe
  83.  
  84. --------------------------
  85. *         FASE B         *
  86. --------------------------
  87. Quine I sx
  88. Tempo di elaborazione: 0:0:1
  89. Numero di forme prime paragonate: 162
  90. Numero di tabelle cicliche esaminate: 161
  91. Numero di implicanti soluzione: 24
  92.  
  93. SOLUZIONE (forma minima): 
  94. ABCdEGH + aBcdEGH + abCdEFG + abCdEFH + ABCdEF + aBCDEf + aBcdEF + aCDeF +
  95. bCdEFGH + abdEFGH + BcdEFG + BcdEFH + aBCDFg + DefGH + AbCDfg + AbcDfG +
  96. bcDEfg + ABDef + AcDeF + acDef + DeFg + bDeH + bCDe + abDe
  97.